8,076 research outputs found

    How to protect a wind turbine from lightning

    Get PDF
    Techniques for reducing the chances of lightning damage to wind turbines are discussed. The methods of providing a ground for a lightning strike are discussed. Then details are given on ways to protect electronic systems, generating and power equipment, blades, and mechanical components from direct and nearby lightning strikes

    Formal Verification of a Gain Scheduling Control Scheme

    Get PDF
    Gain scheduling is a commonly used closed-loop control approach for safety critical non-linear systems, such as commercial gas turbine engines. It is preferred over more advanced control strategies due to a known route to certification. Nonetheless, the stability of the system is hard to prove analytically, and consequently, safety and airworthiness is achieved by burdensome extensive testing. Model checking can aid in bringing down development costs of such a control system and simultaneously improve safety by providing guarantees on properties of embedded control systems. Due to model-checking exhaustive verification capabilities, it has long been recognised that coverage and error-detection rate can be increased compared to traditional testing methods. However, the statespace explosion is still a major computational limitation when applying model-checking to verify dynamic system behaviour. A practical methodology to incrementally design and formally verify control system requirements for a gain scheduling scheme is demonstrated in this paper, overcoming the computational constraints traditionally imposed by model checking. In this manner, the gain-scheduled controller can be efficiently and safely generated with the aid of the model checker

    Results and Lessons from a Decade of Terra MODIS On-Orbit Spectral Characterization

    Get PDF
    Since its launch in December 1999, the NASA EOS Terra MODIS has successfully operated for more than a decade. MODIS makes observations in 36 spectral bands from visible (VIS) to longwave infrared (LWIR) and at three nadir spatial resolutions: 250m (2 bands), 500m (5 bands), and 1km (29 bands). In addition to its on-board calibrators designed for the radiometric calibration, MODIS was built with a unique device, called the spectro-radiometric calibration assembly (SRCA). It can be configured in three different modes: radiometric, spatial, and spectral. When it is operated in the spectral modes, the SRCA can monitor changes in Sensor spectral performance for the VIS and near-infrared (NIR) spectral bands. For more than 10 years, the SRCA operation has continued to provide valuable information for MODIS on-orbit spectral performance. This paper briefly describes SRCA on-orbit operation and calibration activities; it presents decade-long spectral characterization results for Terra MODIS VIS and NIR spectral bands in terms of chances in their center wavelengths (CW) and bandwidths (BW). It is shown that the SRCA on-orbit wavelength calibration capability remains satisfactory. For most spectral bands, the changes in CW and BW are less than 0.5 and 1 nm, respectively. Results and lessons from Terra MODIS on-orbit spectral characterization have and will continue to benefit its successor, Aqua MODIS, and other future missions

    Internal Vortex Structure of a Trapped Spinor Bose-Einstein Condensate

    Get PDF
    The internal vortex structure of a trapped spin-1 Bose-Einstein condensate is investigated. It is shown that it has a variety of configurations depending on, in particular, the ratio of the relevant scattering lengths and the total magnetization.Comment: replacement; minor grammatical corrections but with additional figure

    Gapless finite-TT theory of collective modes of a trapped gas

    Full text link
    We present predictions for the frequencies of collective modes of trapped Bose-condensed 87^{87}Rb atoms at finite temperature. Our treatment includes a self-consistent treatment of the mean-field from finite-TT excitations and the anomolous average. This is the first gapless calculation of this type for a trapped Bose-Einstein condensed gas. The corrections quantitatively account for the downward shift in the m=2m=2 excitation frequencies observed in recent experiments as the critical temperature is approached.Comment: 4 pages Latex and 2 postscript figure
    • ā€¦
    corecore